From 299db04285c07d09bd8500beed5cbc9d487a8bd9 Mon Sep 17 00:00:00 2001
From: "kaf24@firebug.cl.cam.ac.uk" <kaf24@firebug.cl.cam.ac.uk>
Date: Wed, 15 Feb 2006 12:20:42 +0100
Subject: [PATCH] Fix non-x86 build.

Signed-off-by: Keir Fraser <keir@xensource.com>
---
 xen/common/kernel.c | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/xen/common/kernel.c b/xen/common/kernel.c
index 6727d52dfd..bbe66a4ede 100644
--- a/xen/common/kernel.c
+++ b/xen/common/kernel.c
@@ -10,8 +10,8 @@
 #include <xen/errno.h>
 #include <xen/compile.h>
 #include <xen/sched.h>
+#include <xen/shadow.h>
 #include <asm/current.h>
-#include <asm/shadow.h>
 #include <public/nmi.h>
 #include <public/version.h>
 
@@ -190,10 +190,10 @@ long do_xen_version(int cmd, void *arg)
         {
         case 0:
             fi.submap = 0;
-            if (shadow_mode_translate(current->domain))
-                fi.submap |= 1 << XENFEAT_writable_page_tables |
-                    1 << XENFEAT_writable_descriptor_tables |
-                    1 << XENFEAT_auto_translated_physmap;
+            if ( shadow_mode_translate(current->domain) )
+                fi.submap |= 
+                    (1U << XENFEAT_writable_page_tables) |
+                    (1U << XENFEAT_auto_translated_physmap);
             break;
         default:
             return -EINVAL;
-- 
2.30.2